$\forall$$d$:Decl. State($d$) $\in$ Type